|
|
Design, Analysis and Test of Logic Circuits Under Uncertainty
by Krishnaswamy, Smita.
Publication:
. XI, 123 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Rationality, and Interaction
by Grossi, Davide.
Publication:
. XII, 363 p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Informatics
by Muntean, Traian.
Publication:
. X, 275 p. 14 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Typed Lambda Calculi and Applications
by Hasegawa, Masahito.
Publication:
. XII, 251 p. 18 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Hawblitzel, Chris.
Publication:
. X, 305 p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Kahl, Wolfram.
Publication:
. XII, 361 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language, Information and Computation
by Ong, Luke.
Publication:
. XII, 337 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computer Mathematics
by Jeuring, Johan.
Publication:
. XVIII, 473p. 117 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic and Numeric Biology
by Horimoto, Katsuhisa.
Publication:
. IX, 185 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Jouannaud, Jean-Pierre.
Publication:
. XV, 401p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Foundations in Computer Science
by Kuich, Werner.
Publication:
. X, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Rationality, and Interaction
by Ditmarsch, Hans.
Publication:
. XI, 403 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Mathematics of Language
by Kanazawa, Makoto.
Publication:
. IV, 227p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebra and Coalgebra in Computer Science
by Corradini, Andrea.
Publication:
. XI, 420p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Constraint Logic Programming
by Kuchen, Herbert.
Publication:
. VII, 157 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Typed Lambda Calculi and Applications
by Ong, Luke.
Publication:
. XII, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Informatics
by Winkler, Franz.
Publication:
. X, 261p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Swart, Harrie.
Publication:
. VIII, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language, Information and Computation
by Beklemishev, Lev D.
Publication:
. X, 311 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Constraint Logic Programming
by Mariño, Julio.
Publication:
. IX, 175 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|